((v1 v2 9) (v2 v3 5) (v3 v4 3) (v4 v5 7) (v5 v6 5) (v6 v7 8) (v7 v8 8) (v8 v9 0) (v9 v10 3) (v10 v11 6) (v11 v12 6) (v12 v13 5) (v13 v14 8) (v14 v15 7) (v15 v16 9) (v16 v17 8) (v17 v18 0) (v18 v19 9) (v19 v1 6))
162
()